#ifndef CNF_READER_CUH
#define CNF_READER_CUH

#include <vector>
#include "../../SATSolver/SolverTypes.cuh"
#include "../../SATSolver/Configs.cuh"
#include "../../Utils/CUDAClauseVec.cuh"
#include "cnf_reader_sintax.cuh"
#include "lex.yy.h"
#include <assert.h>
#include "../FormulaData.cuh"
#include <utility>
#include <map>

using namespace std;

void start_new_clause();
void add_clause();
void add_lit(Var v, bool sign);
bool read_cnf(char* file, FormulaData & data);

int yyerror(char* error);
void yywarning(char* warning);
void set_header(int variables, int clauses);

#endif
